#include <stdio.h> 
int main() 
{int x=23;
do 
{printf("%d",x--);} 
while(!x); 
return 0;
}
